//
//  Copyright (C) 2009 Vadim Ushakov
// 
//  This program is free software; you can redistribute it and/or modify it
//  under the terms of the GNU General Public License as published by the Free
//  Software Foundation; either version 2 of the License, or (at your option)
//  any later version.
// 
//  This program is distributed in the hope that it will be useful, but
//  WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
//  or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
//  for more details.
//  
//  You should have received a copy of the GNU General Public License along
//  with this program; if not, write to the Free Software Foundation, Inc.,
//  59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
//
//  kernelEnvironment.h
//

#if !defined(_KERNELPERFORMANCECOUNTER_H)

#include <stdint.h>

int kernelPerformanceCounterRegister(const char *);
int kernelPerformanceCounterGetIndex(const char *);
int kernelPerformanceCounterGetI(int);
int kernelPerformanceCounterSetI(int, int);
int kernelPerformanceCounterIncI(int, int);
int64_t kernelPerformanceCounterGetI64(int);
int kernelPerformanceCounterSetI64(int, int64_t);
int kernelPerformanceCounterIncI64(int, int64_t);
int kernelPerformanceCounterInc1(int);
int kernelPerformanceListNames(char* buff, int buffSize);


#define _KERNELPERFORMANCECOUNTER_H
#endif
